$\forall$${\it es}$:ES, $e$:E, $l$:IdLnk. loc{-}ordered(${\it es}$;es{-}receives(${\it es}$;$e$;$l$))